Repository navigation
Cleanup: remove the old IDE shell's CSS - #32
Merged
Merged
Conversation
The IDE's shell (P18) has its own styles; style.css still held the old one's rules (.app-shell, .topbar, .sidebar, .statusbar, .devbar, …), no longer used by the IDE, the embed or the macro. 73 rules go, two selector lists lose their shell parts; the workspace's focus outline, which shared a selector with .app-shell, stays. A narrow-screen rule that hid the first outlined button (the old order's «Ausgabe zurücksetzen») matched nothing since the buttons were reordered, and goes too. The embed's and the IDE's screenshots (REPL, visualization, turtle; 1440 and 820 wide) are byte-identical before and after. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Part of the P18 cleanup. The IDE's new shell has its own styles (
ide-*in the IDE repo'sindex.css), so the old shell's rules instyle.cssare dead..app-shell,.topbar,.brand*,.workspace-button,.project-menu*,.sidebar,.file-item/.file-action*,.statusbar,.status-dot,.devbar,.main-areaand the rest of the old shell. I checked each class against the editor, the embed, the IDE and the macro, and none uses them.hidden-input,auth-noticeandicon-buttonare still used by the IDE..pulse)..app-shell(:is(.app-shell, .glpython-workspace) …). It is kept as.glpython-workspace :is(…):focus-visible..editor-actions .secondary-button:first-child { display: none }. It hid the old order's first outlined button («Ausgabe zurücksetzen»). Since the reorder in P18 phase 2: stacked layout for the IDE (editor part) #30 the first button is ▶, so the rule matched nothing.Nothing visible changes:
Lint and both builds pass.
🤖 Generated with Claude Code